81. Proof theory and intuitionistic systems
پدیدآورنده : / [by] Bruno Scarpellini
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
82. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
1
.
L4
v
.
212
83. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
Vol
.
212
84. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
9
.
S3
1971
85. Proof theory and intuitionistic systems
Author: / Bruno Scarpellini
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intuitionistic mathematics,Proof theory
Classification :
510
.
8
L471
No
.
212
86. Proof theory and logical complexity
Author: Girard, Jean-Yves
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
G57
1987
87. Proof theory for fuzzy logics
Author: Metcalfe, George
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Fuzzy logic,، Proof theory
Classification :
QA
9
.
64
.
M48
2009
88. Proof theory for fuzzy logics
Author: Metcalfe, George
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Fuzzy logic,، Proof theory
Classification :
QA
9
.
64
.
M48P7
89. Proof theory for fuzzy logics
Author: Metcalfe, George.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Fuzzy logic,، Proof theory
Classification :
QA
9
.
64
.
M48
2009
90. Proof theory for fuzzy logics
Author: / George Metcalfe,Nicola Olivetti, Dov Gabbay.
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Proof theory,fuzzy logics
Classification :
511
.
3
M588p
91. Proof theory for fuzzy logics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Fuzzy logic. ; Proof theory. ;
92. Proof theory for fuzzy logics
Author: / by George Metcalfe, Nicola Olivetti, Dov Gabbay
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Fuzzy logic.,Proof theory.
Classification :
QA
,
9
.
64
,.
M48
,
2009
93. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Author: Reinhard Kahle, Peter Schroeder-Heister, Robert Stark )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2183
94. Proof theory of N4-related paraconsistent logics /
Author: Norihiro Kamide, Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Inconsistency (Logic),Inconsistency (Logic)
95. Proof theory of impredicative subsystems of analysis /
Author: Wilfried Buchholz, Kurt Schütte
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical analysis,Proof theory
96. Proof theory of impredicative subsystems of analysis
Author: Buchholz, Wilfried, 8491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematical analysis -- Foundations,، Proof theory
Classification :
QA
299
.
8
.
B83
97. Proof theory:
Author: Pohlers, Wolfram
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
P64
2008
98. Reductive logic and proof-search : proof theory, semantics, and control
Author: Pym, David J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P965R4
99. Reductive logic and proof-search: proof theory, semantics, and control
Author: Pym, David J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P87
2004
100. Selected papers in proof theory
Author: Mints, G E
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
M56
1992
